<html>
<head><meta charset="utf-8"><title>weekly meeting 2018-09-20 · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html">weekly meeting 2018-09-20</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="134310881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134310881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134310881">(Sep 20 2018 at 13:57)</a>:</h4>
<p>hi <span class="user-group-mention" data-user-group-id="492">@T-compiler</span> just noting we'll be starting our weekly meeting here in 3 minutes or so</p>



<a name="134311136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311136">(Sep 20 2018 at 14:01)</a>:</h4>
<p>I'll go ahead and start writing stuff on the assumption that people can catch up. (Yay backlog system)</p>



<a name="134311146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311146">(Sep 20 2018 at 14:01)</a>:</h4>
<p>First up, P-high T-compiler: <a href="http://is.gd/0ohWmp" target="_blank" title="http://is.gd/0ohWmp">http://is.gd/0ohWmp</a></p>



<a name="134311159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311159">(Sep 20 2018 at 14:01)</a>:</h4>
<p>(for those unaware, I am following the agenda from an (old) <a href="https://public.etherpad-mozilla.org/p/rust-compiler-meeting" target="_blank" title="https://public.etherpad-mozilla.org/p/rust-compiler-meeting">etherpad</a>)</p>



<a name="134311209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311209">(Sep 20 2018 at 14:02)</a>:</h4>
<p>first P-high issue: "Trait with HRTB blanket impl is implemented when it shouldn't be" <a href="https://github.com/rust-lang/rust/issues/54302" target="_blank" title="https://github.com/rust-lang/rust/issues/54302">#54302</a></p>



<a name="134311227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311227">(Sep 20 2018 at 14:02)</a>:</h4>
<p>its been bisected, yay</p>



<a name="134311245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311245">(Sep 20 2018 at 14:03)</a>:</h4>
<p>blame has been placed on a supposed refactoring</p>



<a name="134311261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311261">(Sep 20 2018 at 14:03)</a>:</h4>
<p>I was hoping to look into tthat this morning</p>



<a name="134311262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311262">(Sep 20 2018 at 14:03)</a>:</h4>
<p>PR: "Replace the global fulfillment cache with the evaluation cache" <a href="https://github.com/rust-lang/rust/issues/42840" target="_blank" title="https://github.com/rust-lang/rust/issues/42840">#42840</a></p>



<a name="134311265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311265">(Sep 20 2018 at 14:03)</a>:</h4>
<p>but got distracted</p>



<a name="134311270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311270">(Sep 20 2018 at 14:03)</a>:</h4>
<p>you can assign to me</p>



<a name="134311275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311275">(Sep 20 2018 at 14:03)</a>:</h4>
<p>okay, assigning to niko</p>



<a name="134311351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311351">(Sep 20 2018 at 14:04)</a>:</h4>
<p>okay next up: "ICE compiling the objrs crate" <a href="https://github.com/rust-lang/rust/issues/54059" target="_blank" title="https://github.com/rust-lang/rust/issues/54059">#54059</a></p>



<a name="134311369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311369">(Sep 20 2018 at 14:04)</a>:</h4>
<p>assign to mw but ariel's looked at it</p>



<a name="134311383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311383">(Sep 20 2018 at 14:04)</a>:</h4>
<p>PR posted: "avoid leaking host details in proc macro metadata decoding" <a href="https://github.com/rust-lang/rust/issues/54265" target="_blank" title="https://github.com/rust-lang/rust/issues/54265">#54265</a></p>



<a name="134311394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311394">(Sep 20 2018 at 14:05)</a>:</h4>
<p>so it seems like its under control</p>



<a name="134311417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311417">(Sep 20 2018 at 14:05)</a>:</h4>
<p>(We'll be coming back around to that PR when we do the beta-nominations, but for now lets move along)</p>



<a name="134311434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311434">(Sep 20 2018 at 14:05)</a>:</h4>
<p>Next up: "Implement some way to run UI tests ignoring run-pass tests" <a href="https://github.com/rust-lang/rust/issues/54047" target="_blank" title="https://github.com/rust-lang/rust/issues/54047">#54047</a></p>



<a name="134311522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311522">(Sep 20 2018 at 14:07)</a>:</h4>
<p>boy I keep trying and it keeps failing</p>



<a name="134311536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311536">(Sep 20 2018 at 14:07)</a>:</h4>
<p>anything in particular?</p>



<a name="134311537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311537">(Sep 20 2018 at 14:07)</a>:</h4>
<p>okay well anyway this is assigned ot me</p>



<a name="134311545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311545">(Sep 20 2018 at 14:07)</a>:</h4>
<p>I think I need to figure out how to test e.g. the <code>asmjs</code> target locally</p>



<a name="134311549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311549">(Sep 20 2018 at 14:07)</a>:</h4>
<p>rather than just responding to bors and then hoping</p>



<a name="134311580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311580">(Sep 20 2018 at 14:08)</a>:</h4>
<p>oh dear</p>



<a name="134311600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311600">(Sep 20 2018 at 14:08)</a>:</h4>
<p>I had the same thing with the compile-fail migration, it is painful.</p>



<a name="134311607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311607">(Sep 20 2018 at 14:08)</a>:</h4>
<p>Or ... do <code>try</code> builds build for those targets and run the test suite?</p>



<a name="134311616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311616">(Sep 20 2018 at 14:08)</a>:</h4>
<p><code>try</code> builds don't run the test suite afaiu</p>



<a name="134311619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311619">(Sep 20 2018 at 14:08)</a>:</h4>
<p>I'm not sure if try builds run on all platforms? <span class="user-mention" data-user-id="121055">@Pietro Albini</span> would prob know</p>



<a name="134311623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311623">(Sep 20 2018 at 14:08)</a>:</h4>
<p>Okay if <code>try</code> builds don't run the tests then that's pointless</p>



<a name="134311624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311624">(Sep 20 2018 at 14:09)</a>:</h4>
<p>I think they do, but it doesn't cause them to "fail"? not sure</p>



<a name="134311651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311651">(Sep 20 2018 at 14:09)</a>:</h4>
<p>okay well in any case I'm looiking into it</p>



<a name="134311656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311656">(Sep 20 2018 at 14:09)</a>:</h4>
<p>there's certainly another option</p>



<a name="134311661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311661">(Sep 20 2018 at 14:09)</a>:</h4>
<p>there was another PR that involves running back to bors and checking if stuff works</p>



<a name="134311667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311667">(Sep 20 2018 at 14:09)</a>:</h4>
<p>of eagerly moving the <code>src/test/ui/run-pass/</code> <em>back</em> to <code>src/test/run-pass</code> right now</p>



<a name="134311671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311671">(Sep 20 2018 at 14:09)</a>:</h4>
<p>I was recommended changing the <code>.travis.yml</code> to enable other platforms temporarily for the PR testing instead of queuing for bors each time for the other platforms.</p>



<a name="134311724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311724">(Sep 20 2018 at 14:10)</a>:</h4>
<p>hmm</p>



<a name="134311729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311729">(Sep 20 2018 at 14:10)</a>:</h4>
<p>perhaps we could summarize the steps necessary to minimize the interference with everything else while this is being done somewhere (forge?)</p>



<a name="134311730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311730">(Sep 20 2018 at 14:10)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> maybe I will follow up with you after the meeting for more info on that avenue ?</p>



<a name="134311738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311738">(Sep 20 2018 at 14:10)</a>:</h4>
<p>I never did it, but I'll link you to the comment where I told that.</p>



<a name="134311743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311743">(Sep 20 2018 at 14:10)</a>:</h4>
<p>Okay, thanks that would be helpful</p>



<a name="134311747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311747">(Sep 20 2018 at 14:10)</a>:</h4>
<blockquote>
<p>perhaps we could summarize the steps necessary to minimize the interference with everything else while this is being done somewhere (forge?)</p>
</blockquote>
<p>rustc-guide plz</p>



<a name="134311750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311750">(Sep 20 2018 at 14:11)</a>:</h4>
<p>And I think I agree with <span class="user-mention" data-user-id="123586">@nagisa</span> that it seems like there is general knowledge here that should be documented.</p>



<a name="134311758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311758">(Sep 20 2018 at 14:11)</a>:</h4>
<p>so I'll open an issue for that</p>



<a name="134311764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311764">(Sep 20 2018 at 14:11)</a>:</h4>
<p>the only Q I have is</p>



<a name="134311768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311768">(Sep 20 2018 at 14:11)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> current PR that is doing so is <a href="https://github.com/rust-lang/rust/pull/54004" target="_blank" title="https://github.com/rust-lang/rust/pull/54004">https://github.com/rust-lang/rust/pull/54004</a></p>



<a name="134311770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311770">(Sep 20 2018 at 14:11)</a>:</h4>
<p>do we think that enough people are sufficiently inconvienced right now</p>



<a name="134311779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311779">(Sep 20 2018 at 14:11)</a>:</h4>
<p>(I recommended them to change travis.yml as well, but did not know any detains on what they should do)</p>



<a name="134311785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311785">(Sep 20 2018 at 14:11)</a>:</h4>
<p>(<span class="user-mention" data-user-id="116083">@pnkfelix</span> <a href="#narrow/stream/131828-t-compiler/subject/test.20suite/near/131235830" title="#narrow/stream/131828-t-compiler/subject/test.20suite/near/131235830">that comment about travis.yml</a>)</p>



<a name="134311787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311787">(Sep 20 2018 at 14:11)</a>:</h4>
<p>that I shoud indeed undo the original <code>src/test/run-pass</code> ==&gt; <code>src/test/ui/run-pass</code> work</p>



<a name="134311831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311831">(Sep 20 2018 at 14:12)</a>:</h4>
<p>That was my only Question</p>



<a name="134311847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311847">(Sep 20 2018 at 14:12)</a>:</h4>
<p>anyone have any thoughts? I know <span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span> probably would be happiest if I did that</p>



<a name="134311855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311855">(Sep 20 2018 at 14:12)</a>:</h4>
<p>so I'll treat that as one vote in favor</p>



<a name="134311865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311865">(Sep 20 2018 at 14:12)</a>:</h4>
<p>Does anyone else care one way or another in the short term?</p>



<a name="134311872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311872">(Sep 20 2018 at 14:12)</a>:</h4>
<p>I don’t mind either way, but I want to see our tests migrated to a tag system we spoke about last week ASAP.</p>



<a name="134311893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311893">(Sep 20 2018 at 14:13)</a>:</h4>
<p>That's ... a broader design question</p>



<a name="134311919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311919">(Sep 20 2018 at 14:13)</a>:</h4>
<p>I think we don't want to block e.g. testing of NLL against run-pass suite on that ("that" being the broader reworking of our test suite + compiletest to be property based)</p>



<a name="134311971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311971">(Sep 20 2018 at 14:14)</a>:</h4>
<p>so the current status is that run-pass + UI have been largely merged</p>



<a name="134311978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311978">(Sep 20 2018 at 14:14)</a>:</h4>
<p>and you are currently working on moving everything <em>back</em> to <code>run-pass</code> directory</p>



<a name="134311980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311980">(Sep 20 2018 at 14:14)</a>:</h4>
<p>no</p>



<a name="134311981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311981">(Sep 20 2018 at 14:14)</a>:</h4>
<p>but making <code>run-pass</code> use <code>ui</code> mode</p>



<a name="134311984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311984">(Sep 20 2018 at 14:14)</a>:</h4>
<p>oh</p>



<a name="134311986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311986">(Sep 20 2018 at 14:14)</a>:</h4>
<p>/me confused</p>



<a name="134311988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311988">(Sep 20 2018 at 14:14)</a>:</h4>
<p>the current status</p>



<a name="134311994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134311994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134311994">(Sep 20 2018 at 14:14)</a>:</h4>
<p>is that some portion of run-pass was moved to ui</p>



<a name="134312000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312000">(Sep 20 2018 at 14:14)</a>:</h4>
<p>right, ok, I spoke imprecisely, but that's what I meant</p>



<a name="134312012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312012">(Sep 20 2018 at 14:15)</a>:</h4>
<p>the remaining task was to get the remainder of run-pass testing against NLL</p>



<a name="134312023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312023">(Sep 20 2018 at 14:15)</a>:</h4>
<p>so it seems to me that what you are proposing is to split your PR into two halves:</p>
<ul>
<li>move files back to <code>run-pass</code></li>
<li>change meaning of <code>run-pass</code> to use <code>ui</code></li>
</ul>



<a name="134312026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312026">(Sep 20 2018 at 14:15)</a>:</h4>
<p>the PR I have up, it only turns on <code>ui/</code> mode on the existing run-pass/ directory</p>



<a name="134312031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312031">(Sep 20 2018 at 14:15)</a>:</h4>
<p>and it doesn't shuffle anything around</p>



<a name="134312032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312032">(Sep 20 2018 at 14:15)</a>:</h4>
<p>we didn't really find any NLL bugs in the move...</p>



<a name="134312040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312040">(Sep 20 2018 at 14:15)</a>:</h4>
<p>I think that is true (that the move has not uncovered NLL bugs)</p>



<a name="134312041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312041">(Sep 20 2018 at 14:15)</a>:</h4>
<p>oh, ok</p>



<a name="134312089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312089">(Sep 20 2018 at 14:16)</a>:</h4>
<p>I don't care, I think it's fine if you want to move the files back. Obviously we lose some test coverage but it's prob ok</p>



<a name="134312093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312093">(Sep 20 2018 at 14:16)</a>:</h4>
<p>(until we switch run-pass to ui)</p>



<a name="134312096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312096">(Sep 20 2018 at 14:16)</a>:</h4>
<p>The main motivation I have to not move the files back</p>



<a name="134312106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312106">(Sep 20 2018 at 14:16)</a>:</h4>
<p>is that right now people who are maintaining those files</p>



<a name="134312107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312107">(Sep 20 2018 at 14:16)</a>:</h4>
<p>are doing it in the <code>ui</code> directory</p>



<a name="134312116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312116">(Sep 20 2018 at 14:16)</a>:</h4>
<p>which means my change to the <code>run-pass/</code> suite does have a prayer of landing</p>



<a name="134312121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312121">(Sep 20 2018 at 14:16)</a>:</h4>
<p>if I move the files back</p>



<a name="134312150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312150">(Sep 20 2018 at 14:17)</a>:</h4>
<p>it will increase the effort required to change the semantics of <code>run-pass/</code> to a ui-mode</p>



<a name="134312156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312156">(Sep 20 2018 at 14:17)</a>:</h4>
<p>in terms of rebasing</p>



<a name="134312162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312162">(Sep 20 2018 at 14:17)</a>:</h4>
<p>Here's an idea</p>



<a name="134312165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312165">(Sep 20 2018 at 14:17)</a>:</h4>
<p>maybe I set a time limit</p>



<a name="134312172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312172">(Sep 20 2018 at 14:17)</a>:</h4>
<p>i.e. if I can land PR <a href="https://github.com/rust-lang/rust/issues/54223" target="_blank" title="https://github.com/rust-lang/rust/issues/54223">#54223</a></p>



<a name="134312179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312179">(Sep 20 2018 at 14:17)</a>:</h4>
<p>by, what, next T-compiler meeting</p>



<a name="134312182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312182">(Sep 20 2018 at 14:18)</a>:</h4>
<p>in one week</p>



<a name="134312226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312226">(Sep 20 2018 at 14:18)</a>:</h4>
<p>then that's gravy</p>



<a name="134312236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312236">(Sep 20 2018 at 14:18)</a>:</h4>
<p>(and then we can readily move <code>src/test/ui/run-pass</code> back, trivially)</p>



<a name="134312247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312247">(Sep 20 2018 at 14:18)</a>:</h4>
<p>If the PR <em>hasn't</em> landed by that time, for whatever reason</p>



<a name="134312249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312249">(Sep 20 2018 at 14:18)</a>:</h4>
<p>ok</p>



<a name="134312250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312250">(Sep 20 2018 at 14:18)</a>:</h4>
<p>then we acquiesce to the needs to people who are inconvenienced</p>



<a name="134312265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312265">(Sep 20 2018 at 14:19)</a>:</h4>
<p>I'm happy with that plan, anyone object?</p>



<a name="134312286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312286">(Sep 20 2018 at 14:19)</a>:</h4>
<p>Okay well if someone objects they can comment on the ticket. (I'll make a note there of this plan)</p>



<a name="134312307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312307">(Sep 20 2018 at 14:19)</a>:</h4>
<p>next up: "Regression in #[allow(deprecated)] for <code>impl Trait</code> return type" <a href="https://github.com/rust-lang/rust/issues/54045" target="_blank" title="https://github.com/rust-lang/rust/issues/54045">#54045</a></p>



<a name="134312369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312369">(Sep 20 2018 at 14:20)</a>:</h4>
<p>hmm, are either <span class="user-mention" data-user-id="119009">@eddyb</span> or <span class="user-mention" data-user-id="124288">@Oli</span> here right now?</p>



<a name="134312379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312379">(Sep 20 2018 at 14:20)</a>:</h4>
<p>hi</p>



<a name="134312406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312406">(Sep 20 2018 at 14:21)</a>:</h4>
<p>Hi: Is <a href="https://github.com/rust-lang/rust/issues/54045" target="_blank" title="https://github.com/rust-lang/rust/issues/54045">#54045</a> on your current radar?</p>



<a name="134312407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312407">(Sep 20 2018 at 14:21)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@Oli</span> has been away, and will return in October</p>



<a name="134312417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312417">(Sep 20 2018 at 14:21)</a>:</h4>
<p>and, no, I was stuck on edition things :(</p>



<a name="134312426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312426">(Sep 20 2018 at 14:21)</a>:</h4>
<p>understandable</p>



<a name="134312428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312428">(Sep 20 2018 at 14:21)</a>:</h4>
<p>ah right</p>



<a name="134312433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312433">(Sep 20 2018 at 14:21)</a>:</h4>
<p>I had forgotten about this refactoring</p>



<a name="134312437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312437">(Sep 20 2018 at 14:21)</a>:</h4>
<p>sorry for not saying something earlier - I forgot it was assigned  to me</p>



<a name="134312443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312443">(Sep 20 2018 at 14:21)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> do you think you'll have time to do that + edition stuff?</p>



<a name="134312448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312448">(Sep 20 2018 at 14:21)</a>:</h4>
<p>(well maybe its my fault for assigning both of you)</p>



<a name="134312497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312497">(Sep 20 2018 at 14:22)</a>:</h4>
<p>does it need a beta backport or something? I can try but I'm worried I don't know what <span class="user-mention" data-user-id="124288">@Oli</span> did exactly</p>



<a name="134312509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312509">(Sep 20 2018 at 14:22)</a>:</h4>
<p>(that is, I can do it while waiting for a crater run, probably)</p>



<a name="134312520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312520">(Sep 20 2018 at 14:22)</a>:</h4>
<p>I guess its now a stable-to-stable regression</p>



<a name="134312529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312529">(Sep 20 2018 at 14:22)</a>:</h4>
<p>:(</p>



<a name="134312532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312532">(Sep 20 2018 at 14:22)</a>:</h4>
<p>which means... would we bother with a beta backport and not attempt a stable one?</p>



<a name="134312538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312538">(Sep 20 2018 at 14:23)</a>:</h4>
<p>My experience has been that we either backport all the way in such cases, or not at all</p>



<a name="134312550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312550">(Sep 20 2018 at 14:23)</a>:</h4>
<p>it is it high-impact? I'm confused as to why this even got high priority</p>



<a name="134312564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312564">(Sep 20 2018 at 14:23)</a>:</h4>
<p>surely you can put the <code>#[allow(deprecated)]</code> higher up or something?</p>



<a name="134312569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312569">(Sep 20 2018 at 14:23)</a>:</h4>
<p>I don't know, the bug isn't clear about that</p>



<a name="134312573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312573">(Sep 20 2018 at 14:23)</a>:</h4>
<p>it does seem a bit like "just a bug"</p>



<a name="134312619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312619">(Sep 20 2018 at 14:24)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="127859">@Taylor Cramer</span>, you around?</p>



<a name="134312646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312646">(Sep 20 2018 at 14:24)</a>:</h4>
<p>oh we already were too late when anyone was assigned <a href="https://github.com/rust-lang/rust/issues/54045#issuecomment-419836436" target="_blank" title="https://github.com/rust-lang/rust/issues/54045#issuecomment-419836436">https://github.com/rust-lang/rust/issues/54045#issuecomment-419836436</a></p>



<a name="134312653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312653">(Sep 20 2018 at 14:24)</a>:</h4>
<p>this one works: <a href="https://play.rust-lang.org/?gist=f16fb745294da41128a2b3db93811d40&amp;version=stable&amp;mode=debug&amp;edition=2015" target="_blank" title="https://play.rust-lang.org/?gist=f16fb745294da41128a2b3db93811d40&amp;version=stable&amp;mode=debug&amp;edition=2015">https://play.rust-lang.org/?gist=f16fb745294da41128a2b3db93811d40&amp;version=stable&amp;mode=debug&amp;edition=2015</a></p>



<a name="134312665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312665">(Sep 20 2018 at 14:25)</a>:</h4>
<p>which means to me that <span class="user-mention" data-user-id="119009">@eddyb</span> is right: You can work around this</p>



<a name="134312673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312673">(Sep 20 2018 at 14:25)</a>:</h4>
<p>yeah, it's not unrooted, it's just rooted to the parent module</p>



<a name="134312683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312683">(Sep 20 2018 at 14:25)</a>:</h4>
<p>which is something I tried to steer <span class="user-mention" data-user-id="124288">@Oli</span> from, but apparently some things were easier for them this way</p>



<a name="134312691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312691">(Sep 20 2018 at 14:25)</a>:</h4>
<p>our HIR handling is a mess :(</p>



<a name="134312693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312693">(Sep 20 2018 at 14:25)</a>:</h4>
<p>Okay, so here's what I suggest</p>



<a name="134312700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312700">(Sep 20 2018 at 14:25)</a>:</h4>
<p>We note that the workaround exists in the bug</p>



<a name="134312738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312738">(Sep 20 2018 at 14:26)</a>:</h4>
<p>and we don't plan to backport</p>



<a name="134312745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312745">(Sep 20 2018 at 14:26)</a>:</h4>
<p>we'll fix it when we fix it</p>



<a name="134312749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312749">(Sep 20 2018 at 14:26)</a>:</h4>
<p>it can stay P-high</p>



<a name="134312753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312753">(Sep 20 2018 at 14:26)</a>:</h4>
<p>but maybe even that's not so important</p>



<a name="134312754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312754">(Sep 20 2018 at 14:26)</a>:</h4>
<p>I'd really prefer to wait for <span class="user-mention" data-user-id="124288">@Oli</span> to get back and not step on their toes</p>



<a name="134312758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312758">(Sep 20 2018 at 14:26)</a>:</h4>
<p>(we can revisit that choice later)</p>



<a name="134312764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312764">(Sep 20 2018 at 14:26)</a>:</h4>
<p>I'm trying to say we can justify waiting</p>



<a name="134312771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312771">(Sep 20 2018 at 14:26)</a>:</h4>
<p>rather than putting <span class="user-mention" data-user-id="119009">@eddyb</span>  on it immediately</p>



<a name="134312774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312774">(Sep 20 2018 at 14:27)</a>:</h4>
<p>yeah, I hope <span class="user-mention" data-user-id="127859">@Taylor Cramer</span> agrees</p>



<a name="134312778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312778">(Sep 20 2018 at 14:27)</a>:</h4>
<p>because the workaround exists</p>



<a name="134312803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312803">(Sep 20 2018 at 14:27)</a>:</h4>
<p>shall I continue to leave it assigned to both of you, or <em>just</em> assign it to <span class="user-mention" data-user-id="124288">@Oli</span>  ?</p>



<a name="134312812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312812">(Sep 20 2018 at 14:27)</a>:</h4>
<p>both is fine, since we'll want to discuss it</p>



<a name="134312813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312813">(Sep 20 2018 at 14:27)</a>:</h4>
<p>okay</p>



<a name="134312819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312819">(Sep 20 2018 at 14:27)</a>:</h4>
<p>I'll write a note in the issue after the meeting</p>



<a name="134312820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312820">(Sep 20 2018 at 14:27)</a>:</h4>
<p>and come up with some design that interacts well with other things as well</p>



<a name="134312873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312873">(Sep 20 2018 at 14:28)</a>:</h4>
<p>(should I remove the stable-nominated tag that <span class="user-mention" data-user-id="116122">@simulacrum</span> added as well?)</p>



<a name="134312887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312887">(Sep 20 2018 at 14:28)</a>:</h4>
<p>I guess</p>



<a name="134312888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312888">(Sep 20 2018 at 14:28)</a>:</h4>
<p>((I guess we can keep it on there until <span class="user-mention" data-user-id="124288">@Oli</span> gets back))</p>



<a name="134312901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312901">(Sep 20 2018 at 14:28)</a>:</h4>
<p>or at least until next week. <span class="emoji emoji-263a" title="smile">:smile:</span></p>



<a name="134312907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312907">(Sep 20 2018 at 14:28)</a>:</h4>
<p>lets move on</p>



<a name="134312924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312924">(Sep 20 2018 at 14:29)</a>:</h4>
<p>next P-high: "ICE in libserialize with incremental build across changed rustc version" <a href="https://github.com/rust-lang/rust/issues/53792" target="_blank" title="https://github.com/rust-lang/rust/issues/53792">#53792</a></p>



<a name="134312987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134312987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134312987">(Sep 20 2018 at 14:30)</a>:</h4>
<p>seems like there is ongoing discussion of the problem and potential solutions there</p>



<a name="134313012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313012">(Sep 20 2018 at 14:30)</a>:</h4>
<p>Does not appear to be P-high to me.</p>



<a name="134313013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313013">(Sep 20 2018 at 14:30)</a>:</h4>
<p>yeah it's a typically hard problem</p>



<a name="134313018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313018">(Sep 20 2018 at 14:30)</a>:</h4>
<p>I cannot tell whether it should continue to be tagged with T-compiler</p>



<a name="134313026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313026">(Sep 20 2018 at 14:30)</a>:</h4>
<p>or if we should delegate it entirely to T-infra</p>



<a name="134313057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313057">(Sep 20 2018 at 14:31)</a>:</h4>
<p>the changes in the code of the compiler itself are trivial</p>



<a name="134313067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313067">(Sep 20 2018 at 14:31)</a>:</h4>
<p>so could be delegated</p>



<a name="134313073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313073">(Sep 20 2018 at 14:31)</a>:</h4>
<p>I wonder if it's just like those distros builds</p>



<a name="134313078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313078">(Sep 20 2018 at 14:31)</a>:</h4>
<p><span class="user-mention" data-user-id="123586">@nagisa</span> you figure that since <span class="user-mention" data-user-id="127859">@Taylor Cramer</span> has an applicable workaround, we can downgrade to P-medium ?</p>



<a name="134313080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313080">(Sep 20 2018 at 14:31)</a>:</h4>
<p>that are missing git commit info</p>



<a name="134313090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313090">(Sep 20 2018 at 14:31)</a>:</h4>
<p>what do people think about that, a downgrade to P-medium here?</p>



<a name="134313123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313123">(Sep 20 2018 at 14:32)</a>:</h4>
<p>I figure if we delegate entirely to T-infra, then we could let <em>them</em> decide to downgrade...</p>



<a name="134313146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313146">(Sep 20 2018 at 14:32)</a>:</h4>
<p>seems ok; it does seem like incorporating the git commit into the hash or something would suffice</p>



<a name="134313149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313149">(Sep 20 2018 at 14:32)</a>:</h4>
<p>if <span class="user-mention" data-user-id="127859">@Taylor Cramer</span> doesn't object</p>



<a name="134313161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313161">(Sep 20 2018 at 14:32)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> AFAIK we already do but some ways of building Rust loses that info</p>



<a name="134313167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313167">(Sep 20 2018 at 14:32)</a>:</h4>
<p>ok</p>



<a name="134313169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313169">(Sep 20 2018 at 14:32)</a>:</h4>
<p>e.g. our tarballs have historically been very deficient here :(</p>



<a name="134313177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313177">(Sep 20 2018 at 14:32)</a>:</h4>
<p>(which an entirely infra/release issue)</p>



<a name="134313327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313327">(Sep 20 2018 at 14:35)</a>:</h4>
<p>okay next: "ICE when running <code>cargo doc</code> on <code>typenum</code> at <code>librustc/traits/structural_impls.rs:178</code>" <a href="https://github.com/rust-lang/rust/issues/52873" target="_blank" title="https://github.com/rust-lang/rust/issues/52873">#52873</a></p>



<a name="134313334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313334">(Sep 20 2018 at 14:35)</a>:</h4>
<p>I fixed that...</p>



<a name="134313340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313340">(Sep 20 2018 at 14:35)</a>:</h4>
<p>with PR <a href="https://github.com/rust-lang/rust/issues/54199" target="_blank" title="https://github.com/rust-lang/rust/issues/54199">#54199</a> ?</p>



<a name="134313342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313342">(Sep 20 2018 at 14:35)</a>:</h4>
<p>oh</p>



<a name="134313343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313343">(Sep 20 2018 at 14:35)</a>:</h4>
<p>that is marked [WIP]</p>



<a name="134313344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313344">(Sep 20 2018 at 14:35)</a>:</h4>
<p>I forgot that it hadn't mergd :P</p>



<a name="134313345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313345">(Sep 20 2018 at 14:35)</a>:</h4>
<p>yeah, my bad</p>



<a name="134313390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313390">(Sep 20 2018 at 14:36)</a>:</h4>
<p>I was trying to find an independent test case and failing</p>



<a name="134313398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313398">(Sep 20 2018 at 14:36)</a>:</h4>
<p>and I totally forgot about it</p>



<a name="134313403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313403">(Sep 20 2018 at 14:36)</a>:</h4>
<p>okay well the issue sounds like its in good, if very-very overworked, hands</p>



<a name="134313415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313415">(Sep 20 2018 at 14:36)</a>:</h4>
<p>I'll try a bit harder</p>



<a name="134313426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313426">(Sep 20 2018 at 14:37)</a>:</h4>
<p>next up: "infinite recursion ICE" <a href="https://github.com/rust-lang/rust/issues/52701" target="_blank" title="https://github.com/rust-lang/rust/issues/52701">#52701</a></p>



<a name="134313442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313442">(Sep 20 2018 at 14:37)</a>:</h4>
<p>uh, I forgot about this too</p>



<a name="134313453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313453">(Sep 20 2018 at 14:37)</a>:</h4>
<p>want me to take it?</p>



<a name="134313487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313487">(Sep 20 2018 at 14:38)</a>:</h4>
<p>I noted that I don't think I have too much stuff from T-compiler on my plate at the moment</p>



<a name="134313499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313499">(Sep 20 2018 at 14:38)</a>:</h4>
<p>hmm let me add it to my to-do list (I think that was my fail), but I may ping you</p>



<a name="134313511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313511">(Sep 20 2018 at 14:38)</a>:</h4>
<p>since it's late in your day</p>



<a name="134313526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313526">(Sep 20 2018 at 14:38)</a>:</h4>
<p>okay. left a note accordingly</p>



<a name="134313541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313541">(Sep 20 2018 at 14:38)</a>:</h4>
<p>that's all the P-highs</p>



<a name="134313555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313555">(Sep 20 2018 at 14:39)</a>:</h4>
<p>next up, <a href="https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta" target="_blank" title="https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta">stable-to-beta regressions</a></p>



<a name="134313573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313573">(Sep 20 2018 at 14:39)</a>:</h4>
<p>first is "Regression in crate ipfs-api on 1.30 beta" <a href="https://github.com/rust-lang/rust/issues/54386" target="_blank" title="https://github.com/rust-lang/rust/issues/54386">#54386</a></p>



<a name="134313584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313584">(Sep 20 2018 at 14:39)</a>:</h4>
<p>seems P-high to me</p>



<a name="134313655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313655">(Sep 20 2018 at 14:40)</a>:</h4>
<p>do we assign <span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span> ?</p>



<a name="134313668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313668">(Sep 20 2018 at 14:40)</a>:</h4>
<p>I was just wondering that. I thought I might let <span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span> respond to the ping they received on it, rather than pre-emptively assigning them</p>



<a name="134313684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313684">(Sep 20 2018 at 14:41)</a>:</h4>
<p>But on the other hand, if it were me I'd probably <em>want</em> someone to assign it to me</p>



<a name="134313714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313714">(Sep 20 2018 at 14:41)</a>:</h4>
<p>related: leo is working now at a company using Rust, hope it's not blocking them :)</p>



<a name="134313719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313719">(Sep 20 2018 at 14:41)</a>:</h4>
<p>I guess they are the obvious person; and they can unassign themselves if they want.</p>



<a name="134313721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313721">(Sep 20 2018 at 14:42)</a>:</h4>
<p>maybe we can bisect</p>



<a name="134313763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313763">(Sep 20 2018 at 14:42)</a>:</h4>
<p>also I think assign</p>



<a name="134313792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313792">(Sep 20 2018 at 14:43)</a>:</h4>
<p>just did, okay</p>



<a name="134313816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313816">(Sep 20 2018 at 14:43)</a>:</h4>
<p>and we already looked at <a href="https://github.com/rust-lang/rust/issues/54059" target="_blank" title="https://github.com/rust-lang/rust/issues/54059">#54059</a>, which was the only other stable-to-beta regression</p>



<a name="134313828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313828">(Sep 20 2018 at 14:43)</a>:</h4>
<p>next up, <a href="https://github.com/rust-lang/rust/labels/regression-from-stable-to-nightly" target="_blank" title="https://github.com/rust-lang/rust/labels/regression-from-stable-to-nightly">stable-to-nightly regressions</a></p>



<a name="134313878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313878">(Sep 20 2018 at 14:44)</a>:</h4>
<p>! zarroh bugs !</p>



<a name="134313892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313892">(Sep 20 2018 at 14:44)</a>:</h4>
<p><code>ipfs-api</code> looks legitimate btw :(</p>



<a name="134313909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313909">(Sep 20 2018 at 14:44)</a>:</h4>
<p>they have (many) cyclic glob imports (and things named <code>serde</code> are imported from glob-importing modules)</p>



<a name="134313933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313933">(Sep 20 2018 at 14:45)</a>:</h4>
<p>Okay, then, next are the beta-nominations</p>



<a name="134313941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313941">(Sep 20 2018 at 14:45)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=label%3Abeta-nominated" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=label%3Abeta-nominated">beta nominations</a></p>



<a name="134313960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134313960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134313960">(Sep 20 2018 at 14:46)</a>:</h4>
<p>the first <a href="https://github.com/rust-lang/rust/issues/54323" target="_blank" title="https://github.com/rust-lang/rust/issues/54323">#54323</a> does not look like its T-compiler's issue to approve. (Its not tagged.)</p>



<a name="134314003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314003">(Sep 20 2018 at 14:46)</a>:</h4>
<p>T-infra maintains rustbuild, right?</p>



<a name="134314018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314018">(Sep 20 2018 at 14:46)</a>:</h4>
<p>or is it us? Or is it <span class="user-mention" data-user-id="116015">@Alex Crichton</span> on their own?</p>



<a name="134314028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314028">(Sep 20 2018 at 14:46)</a>:</h4>
<p>it's sort of unclear</p>



<a name="134314031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314031">(Sep 20 2018 at 14:46)</a>:</h4>
<p>but it's more infra I think</p>



<a name="134314032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314032">(Sep 20 2018 at 14:46)</a>:</h4>
<p>gotta be T-infra, <span class="user-mention" data-user-id="119009">@eddyb</span>  cc'ed them. :)</p>



<a name="134314040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314040">(Sep 20 2018 at 14:47)</a>:</h4>
<p>and/or <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<a name="134314062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314062">(Sep 20 2018 at 14:47)</a>:</h4>
<p>okay. I tagged T-infra. Hopefully it'll get addressed.</p>



<a name="134314117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314117">(Sep 20 2018 at 14:48)</a>:</h4>
<p>Next one <em>is</em> us I think: "avoid leaking host details in proc macro metadata decoding" <a href="https://github.com/rust-lang/rust/issues/54265" target="_blank" title="https://github.com/rust-lang/rust/issues/54265">#54265</a></p>



<a name="134314146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314146">(Sep 20 2018 at 14:48)</a>:</h4>
<p>looks ok to me</p>



<a name="134314149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314149">(Sep 20 2018 at 14:49)</a>:</h4>
<p>based on a casual perusal</p>



<a name="134314164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314164">(Sep 20 2018 at 14:49)</a>:</h4>
<p>I'm not super familiar with the code, but it's a short diff, and <span class="user-mention" data-user-id="116015">@Alex Crichton</span> seemed satisfied :)</p>



<a name="134314166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314166">(Sep 20 2018 at 14:49)</a>:</h4>
<p>hopefully eventually we might be able to even hide the host completely (when we generate the proc macro metadata)</p>



<a name="134314178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314178">(Sep 20 2018 at 14:49)</a>:</h4>
<p>okay, any objections to beta-accepting this?</p>



<a name="134314237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314237">(Sep 20 2018 at 14:50)</a>:</h4>
<p>done</p>



<a name="134314248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314248">(Sep 20 2018 at 14:50)</a>:</h4>
<p>next: <a href="https://github.com/rust-lang/rust/pulls?q=is%3Aopen+is%3Apr+label%3AS-waiting-on-team+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/pulls?q=is%3Aopen+is%3Apr+label%3AS-waiting-on-team+label%3AT-compiler">waiting for our team</a></p>



<a name="134314254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314254">(Sep 20 2018 at 14:50)</a>:</h4>
<p>zaaroh bugs</p>



<a name="134314274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314274">(Sep 20 2018 at 14:51)</a>:</h4>
<p>next: <a href="https://is.gd/RNZI1C" target="_blank" title="https://is.gd/RNZI1C">I-nominated T-compiler (alone)</a></p>



<a name="134314284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314284">(Sep 20 2018 at 14:51)</a>:</h4>
<p>ooh boy five bugs and 9 minutes to go</p>



<a name="134314294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314294">(Sep 20 2018 at 14:51)</a>:</h4>
<p>first up: "What should we guarantee regarding "sort-of unused" extern statics" <a href="https://github.com/rust-lang/rust/issues/54388" target="_blank" title="https://github.com/rust-lang/rust/issues/54388">#54388</a></p>



<a name="134314298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314298">(Sep 20 2018 at 14:51)</a>:</h4>
<p>this can be quick, maybe</p>



<a name="134314304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314304">(Sep 20 2018 at 14:51)</a>:</h4>
<p>I just filed this an hour ago</p>



<a name="134314317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314317">(Sep 20 2018 at 14:52)</a>:</h4>
<p>if you do <code>extern "C" { static C: u8; }</code> and reference it from dead code</p>



<a name="134314359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314359">(Sep 20 2018 at 14:52)</a>:</h4>
<p>e.g. <code>fn main() { let _x = C; }</code></p>



<a name="134314365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314365">(Sep 20 2018 at 14:52)</a>:</h4>
<p>(with an <code>unsafe</code> of course)</p>



<a name="134314376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314376">(Sep 20 2018 at 14:52)</a>:</h4>
<p>we currently will either succeed or fail to compile</p>



<a name="134314379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314379">(Sep 20 2018 at 14:52)</a>:</h4>
<p>depending on debug symbols</p>



<a name="134314389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314389">(Sep 20 2018 at 14:52)</a>:</h4>
<p>and a pending PR causes it to <em>sometimes</em> fail even without debug symbols turned on</p>



<a name="134314398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314398">(Sep 20 2018 at 14:53)</a>:</h4>
<p>(based we <em>think</em> on codegen-units issues)</p>



<a name="134314419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314419">(Sep 20 2018 at 14:53)</a>:</h4>
<p>Seems fine to leave it implementation defined to me</p>



<a name="134314427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314427">(Sep 20 2018 at 14:53)</a>:</h4>
<p>well, we need to be able to test reliably</p>



<a name="134314431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314431">(Sep 20 2018 at 14:53)</a>:</h4>
<p>whatever we promise externally</p>



<a name="134314476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314476">(Sep 20 2018 at 14:54)</a>:</h4>
<p>I just wanted to see if anyone would object to me saying "this code is bogus as written; you need to at leave provide the extra object code with the definition at link time, or you'll get UB (or compile-time error, maybe)"</p>



<a name="134314482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314482">(Sep 20 2018 at 14:54)</a>:</h4>
<p>I guess that the failure, <span class="user-mention" data-user-id="116083">@pnkfelix</span>, is because LLVM optimizes away that dead code, and then we don't link?</p>



<a name="134314485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314485">(Sep 20 2018 at 14:54)</a>:</h4>
<p>I assume it succeeds to compile when LLVM notices the static is not used and removes all references to it, which then passes through the linker</p>



<a name="134314489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314489">(Sep 20 2018 at 14:54)</a>:</h4>
<p>yes, I believe these hypotheses are correct</p>



<a name="134314490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314490">(Sep 20 2018 at 14:54)</a>:</h4>
<p>I haven't managed to validate them to completion</p>



<a name="134314492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314492">(Sep 20 2018 at 14:54)</a>:</h4>
<p>It is trivial to make it not fail to link in either case.</p>



<a name="134314495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314495">(Sep 20 2018 at 14:54)</a>:</h4>
<p>isn't this the same as <code>extern { ... fn foo(); ... }</code>?</p>



<a name="134314501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314501">(Sep 20 2018 at 14:54)</a>:</h4>
<p>presumably the same applies to functions</p>



<a name="134314502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314502">(Sep 20 2018 at 14:54)</a>:</h4>
<p>Right, avoiding failure (by providing the definition) is trivial</p>



<a name="134314510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314510">(Sep 20 2018 at 14:54)</a>:</h4>
<p>but in that case you’d get a ton of weird interactions with certain linker features which we do not want to have those weird interactions.</p>



<a name="134314522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314522">(Sep 20 2018 at 14:55)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> (maybe same as <code>extern { fn foo(); }</code>, not sure)</p>



<a name="134314530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314530">(Sep 20 2018 at 14:55)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I meant making this kind of failure impossible from the standpoint of the compiler</p>



<a name="134314533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314533">(Sep 20 2018 at 14:55)</a>:</h4>
<p>by e.g. giving a weak definition. But then that has interactions with weak linkage and linking order and all that stuff</p>



<a name="134314576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314576">(Sep 20 2018 at 14:56)</a>:</h4>
<p><span class="user-mention" data-user-id="123586">@nagisa</span> you mean to actually consistently error in all cases? or consistently succeed in all cases?</p>



<a name="134314577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314577">(Sep 20 2018 at 14:56)</a>:</h4>
<p>so clearly failing to provide the symbol you declared can <em>sometimes</em> produce an error</p>



<a name="134314580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314580">(Sep 20 2018 at 14:56)</a>:</h4>
<p>is the question "is it ok to leave it ill-defined when we might choose not to"</p>



<a name="134314581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314581">(Sep 20 2018 at 14:56)</a>:</h4>
<p>I don't know how to implement a guaranteed consistent semantics for this program</p>



<a name="134314582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314582">(Sep 20 2018 at 14:56)</a>:</h4>
<p>making it consistently error in all cases is harder, at least I can’t think of a way to do so</p>



<a name="134314600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314600">(Sep 20 2018 at 14:56)</a>:</h4>
<p>maybe we shouldn't try to decide this in five minutes</p>



<a name="134314605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314605">(Sep 20 2018 at 14:56)</a>:</h4>
<p>presumably we could geneerate some sort of "dummy references" (effectively what debuginfo is doing...) but I'm ok with current behavior I guess</p>



<a name="134314607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314607">(Sep 20 2018 at 14:57)</a>:</h4>
<p>I can imagine why CGU would be involved</p>



<a name="134314612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314612">(Sep 20 2018 at 14:57)</a>:</h4>
<p>I'll leave the issue up for people to discuss there?</p>



<a name="134314616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314616">(Sep 20 2018 at 14:57)</a>:</h4>
<p>okay..</p>



<a name="134314617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314617">(Sep 20 2018 at 14:57)</a>:</h4>
<p>and maybe remove the I-nominated tag</p>



<a name="134314625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314625">(Sep 20 2018 at 14:57)</a>:</h4>
<p>if we come to some conclusion on-ticket</p>



<a name="134314634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314634">(Sep 20 2018 at 14:57)</a>:</h4>
<p>oaky well that took up more time than I wanted</p>



<a name="134314644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314644">(Sep 20 2018 at 14:57)</a>:</h4>
<p>next "[WIP] rustc: check that type alias where clauses are well-formed." <a href="https://github.com/rust-lang/rust/issues/54352" target="_blank" title="https://github.com/rust-lang/rust/issues/54352">#54352</a></p>



<a name="134314700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314700">(Sep 20 2018 at 14:58)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> can you summarize?</p>



<a name="134314715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314715">(Sep 20 2018 at 14:58)</a>:</h4>
<p>right, so, we plan to improve <code>type</code> alias checking in Rust 2018</p>



<a name="134314727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314727">(Sep 20 2018 at 14:58)</a>:</h4>
<p>and figure out what we need to integrate type aliases better into the typesystem</p>



<a name="134314756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314756">(Sep 20 2018 at 14:59)</a>:</h4>
<p>so far the data shows that requiring "enough bounds" is hopeless (400 regressions, migration can't be automated atm) while denying "too many bounds" has a handful of regressions</p>



<a name="134314835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314835">(Sep 20 2018 at 15:00)</a>:</h4>
<p>however, while <span class="user-mention" data-user-id="116009">@nikomatsakis</span> pointed out we can treat <code>type X = Y;</code> as getting implied bounds from <code>WF(Y)</code>, we have to be careful around bounds that <em>are</em> written</p>



<a name="134314862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314862">(Sep 20 2018 at 15:00)</a>:</h4>
<p>/me is off</p>



<a name="134314871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314871">(Sep 20 2018 at 15:00)</a>:</h4>
<p>e.g. do we want <code>type Foo&lt;S: Into&lt;str&gt;&gt; = Vec&lt;S&gt;;</code> to compile without a hard error?</p>



<a name="134314889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314889">(Sep 20 2018 at 15:00)</a>:</h4>
<p>In 2015 alone? Or in 2015 and 2018 ?</p>



<a name="134314894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314894">(Sep 20 2018 at 15:00)</a>:</h4>
<p>the crater run found only two regressions</p>



<a name="134314914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314914">(Sep 20 2018 at 15:01)</a>:</h4>
<p>yeah, edition-dependent behavior is the question here. personally I think it fits in our story of erroring in 2018 for some obscure things</p>



<a name="134314923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314923">(Sep 20 2018 at 15:01)</a>:</h4>
<p>e.g., enable said checks in Rust 2018?</p>



<a name="134314933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314933">(Sep 20 2018 at 15:01)</a>:</h4>
<p>but do we do them in Rust 2015 too?</p>



<a name="134314950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314950">(Sep 20 2018 at 15:01)</a>:</h4>
<p>I'm okay with it being edition dependent.</p>



<a name="134314951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314951">(Sep 20 2018 at 15:01)</a>:</h4>
<p>I think we were saying:</p>
<ul>
<li>Error in Rust 2018</li>
<li>Warning in Rust 2015 (possibly a future-compat warning)</li>
</ul>



<a name="134314956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134314956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134314956">(Sep 20 2018 at 15:01)</a>:</h4>
<p>I feel like that got said at some point</p>



<a name="134315005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315005">(Sep 20 2018 at 15:02)</a>:</h4>
<p>it seems to make sense to me</p>



<a name="134315008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315008">(Sep 20 2018 at 15:02)</a>:</h4>
<p>is the motivation for doing the error in edition 2015  ... to ease future porting to 2018?</p>



<a name="134315012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315012">(Sep 20 2018 at 15:02)</a>:</h4>
<p>future-compat should be fine as there are only 2 regressions in obscure crates AFAICT</p>



<a name="134315025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315025">(Sep 20 2018 at 15:02)</a>:</h4>
<blockquote>
<p>is the motivation for doing the error in edition 2015  ... to ease future porting to 2018?</p>
</blockquote>
<p>yes, but also because it's misleading</p>



<a name="134315029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315029">(Sep 20 2018 at 15:02)</a>:</h4>
<p>the motivation is type-system related, and soundness if we try to do anything clever</p>



<a name="134315041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315041">(Sep 20 2018 at 15:02)</a>:</h4>
<p>(okay yes of course there are other motivations)</p>



<a name="134315055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315055">(Sep 20 2018 at 15:03)</a>:</h4>
<p>that is, even if there are things we can keep a warning forever/until 2021, there are subtle details that have worse implications and also have almost no regressions when fixing them</p>



<a name="134315072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315072">(Sep 20 2018 at 15:03)</a>:</h4>
<p>that is, the bounds are just invalid as-written, instead of the usual missing bounds</p>



<a name="134315075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315075">(Sep 20 2018 at 15:03)</a>:</h4>
<p>I think we should make it a future-compat warning, personally, since I would like to stake the claim that this is a bug :P</p>



<a name="134315079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315079">(Sep 20 2018 at 15:03)</a>:</h4>
<p>I agree</p>



<a name="134315086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315086">(Sep 20 2018 at 15:03)</a>:</h4>
<p>(but one we may or may not ever <em>fix</em> in Rust 2015)</p>



<a name="134315141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315141">(Sep 20 2018 at 15:04)</a>:</h4>
<p>was requiring enough bounds going to be enabled for 2018 as well?<br>
or just denying too many?</p>



<a name="134315146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315146">(Sep 20 2018 at 15:04)</a>:</h4>
<p>if we fix it, it allows us the "implied bounds" interpretation</p>



<a name="134315161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315161">(Sep 20 2018 at 15:04)</a>:</h4>
<p>So what i'm hearing is: We can do future-compat warning now, and potentially change edition-2015 behavior in a future release. And we make it hard error for edtion-2018, as planned</p>



<a name="134315162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315162">(Sep 20 2018 at 15:04)</a>:</h4>
<p>which is, IMO, enough to cover switching to check-type-aliases-at-use-sites in the future on all editions</p>



<a name="134315190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315190">(Sep 20 2018 at 15:05)</a>:</h4>
<p><span class="user-mention" data-user-id="121053">@varkor</span> on 2018, denying too-many only (plus cases like the one discussed right now) - not-enough has 400 regressions with no hope of automatically migrating them. and many of those crates have dependents</p>



<a name="134315199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315199">(Sep 20 2018 at 15:05)</a>:</h4>
<p>okay and I think <span class="user-mention" data-user-id="119009">@eddyb</span> is also on board for plan as I summarized it?</p>



<a name="134315213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315213">(Sep 20 2018 at 15:05)</a>:</h4>
<p>yupp, it seems we're in agreement</p>



<a name="134315269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315269">(Sep 20 2018 at 15:06)</a>:</h4>
<p>(nominated it to double-check that we can carve off this special case from the main warning/ignore case with 400 regressions)</p>



<a name="134315270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315270">(Sep 20 2018 at 15:06)</a>:</h4>
<p>we're 6 minutes over time but I'd like to try to power through the remaining nominatins</p>



<a name="134315274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315274">(Sep 20 2018 at 15:06)</a>:</h4>
<p>I have to run now, but I feel a bit unsure about the situation re: "too few bounds" for Rust 2018</p>



<a name="134315277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315277">(Sep 20 2018 at 15:06)</a>:</h4>
<p>sadly I nominated another thing</p>



<a name="134315280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315280">(Sep 20 2018 at 15:06)</a>:</h4>
<p>next one is: "Compiler panic using 'static_assertions'" <a href="https://github.com/rust-lang/rust/issues/54327" target="_blank" title="https://github.com/rust-lang/rust/issues/54327">#54327</a></p>



<a name="134315283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315283">(Sep 20 2018 at 15:06)</a>:</h4>
<p>/me will stay a few more</p>



<a name="134315295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315295">(Sep 20 2018 at 15:06)</a>:</h4>
<p>I don't think this needed to be nominated</p>



<a name="134315316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315316">(Sep 20 2018 at 15:07)</a>:</h4>
<p>but .. why iddn't I see it during ... oh we hadn't looked at stable-to-stable regressions yet</p>



<a name="134315318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315318">(Sep 20 2018 at 15:07)</a>:</h4>
<p>well, it needs a P- tag.</p>



<a name="134315321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315321">(Sep 20 2018 at 15:07)</a>:</h4>
<p>and the people doing tagging didn't use P-high, okay yes</p>



<a name="134315327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315327">(Sep 20 2018 at 15:07)</a>:</h4>
<p>seems P-high to me</p>



<a name="134315328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315328">(Sep 20 2018 at 15:07)</a>:</h4>
<p>yeah I suppose so</p>



<a name="134315386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315386">(Sep 20 2018 at 15:08)</a>:</h4>
<p>lets move on</p>



<a name="134315395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315395">(Sep 20 2018 at 15:09)</a>:</h4>
<p>i nominated "NLL: disallow creation of immediately unusable variables" <a href="https://github.com/rust-lang/rust/issues/54188" target="_blank" title="https://github.com/rust-lang/rust/issues/54188">#54188</a></p>



<a name="134315398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315398">(Sep 20 2018 at 15:09)</a>:</h4>
<p>but I'm going to skip it</p>



<a name="134315422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315422">(Sep 20 2018 at 15:09)</a>:</h4>
<p>the intention was to discuss the broad issue of how PR authors should delegate investigation of errors that solely arise due to e.g. code-gen units linker issues</p>



<a name="134315428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315428">(Sep 20 2018 at 15:09)</a>:</h4>
<p>but in this case the PR was actually <em>relevant</em> to why the test started failing</p>



<a name="134315475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315475">(Sep 20 2018 at 15:10)</a>:</h4>
<p>(the aforementioned bug <a href="https://github.com/rust-lang/rust/issues/54388" target="_blank" title="https://github.com/rust-lang/rust/issues/54388">#54388</a> )</p>



<a name="134315488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315488">(Sep 20 2018 at 15:10)</a>:</h4>
<p>I <em>would</em> like to have a discussion about this, but I don't want to take time for it now</p>



<a name="134315490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315490">(Sep 20 2018 at 15:10)</a>:</h4>
<p>we can do it asynchronously</p>



<a name="134315542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315542">(Sep 20 2018 at 15:11)</a>:</h4>
<p>last nominated issue: "Report const eval error inside the query" <a href="https://github.com/rust-lang/rust/issues/53821" target="_blank" title="https://github.com/rust-lang/rust/issues/53821">#53821</a></p>



<a name="134315555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315555">(Sep 20 2018 at 15:12)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> you want to take over now?</p>



<a name="134315604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315604">(Sep 20 2018 at 15:12)</a>:</h4>
<p>okay, so, is <span class="user-mention" data-user-id="120791">@RalfJ</span>  around?</p>



<a name="134315635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315635">(Sep 20 2018 at 15:13)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@Oli</span> and <span class="user-mention" data-user-id="120791">@RalfJ</span> have been working on this refactor of miri error reporting so it happens during const-eval instead of by whatever invoked const-eval</p>



<a name="134315644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315644">(Sep 20 2018 at 15:13)</a>:</h4>
<p>which is fine, but there are behavioral changes and potentially backwards-incompat regressions coming out of it</p>



<a name="134315648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315648">(Sep 20 2018 at 15:13)</a>:</h4>
<p>so when <span class="user-mention" data-user-id="124288">@Oli</span> wrote:</p>
<blockquote>
<p>Functional changes: We no longer warn about bad constants embedded in unused types. This relied on being able to report just a warning, not a hard error on that case, which we cannot do any more now that error reporting is consistently centralized.</p>
</blockquote>
<p>they mean that we now error</p>



<a name="134315649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315649">(Sep 20 2018 at 15:13)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> what’s the distinction?</p>



<a name="134315653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315653">(Sep 20 2018 at 15:13)</a>:</h4>
<p>as opposed to doing <em>nothing</em></p>



<a name="134315662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315662">(Sep 20 2018 at 15:14)</a>:</h4>
<p><span class="user-mention" data-user-id="123586">@nagisa</span> some places chose to warn, some places to error, but everything errors now</p>



<a name="134315713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315713">(Sep 20 2018 at 15:14)</a>:</h4>
<p>(right?)</p>



<a name="134315716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315716">(Sep 20 2018 at 15:14)</a>:</h4>
<p>hmm</p>



<a name="134315717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315717">(Sep 20 2018 at 15:14)</a>:</h4>
<p>I mean what’s the distinction between &gt; so it happens during const-eval instead of by whatever invoked const-eval</p>



<a name="134315731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315731">(Sep 20 2018 at 15:14)</a>:</h4>
<p>how hard would it be to buffer the errors and downgrade them when appropriate?</p>



<a name="134315734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315734">(Sep 20 2018 at 15:14)</a>:</h4>
<p><span class="user-mention" data-user-id="123586">@nagisa</span> some places reported the error as a warning, instead. now it's always an error</p>



<a name="134315740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315740">(Sep 20 2018 at 15:14)</a>:</h4>
<p>ain’t const eval gonna be invoked by many things at all points in the compiler anyway?</p>



<a name="134315746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315746">(Sep 20 2018 at 15:14)</a>:</h4>
<p>(as we did in NLL)</p>



<a name="134315756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315756">(Sep 20 2018 at 15:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> that's what is being refactored away</p>



<a name="134315775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315775">(Sep 20 2018 at 15:15)</a>:</h4>
<p>that ... doesn't sound like "refactoring" to me...</p>



<a name="134315782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315782">(Sep 20 2018 at 15:15)</a>:</h4>
<p>but killing off functionality is fact-of-life at times</p>



<a name="134315791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315791">(Sep 20 2018 at 15:15)</a>:</h4>
<p>one thing to keep in mind is that we should try to fit this into the <code>type</code> alias story</p>



<a name="134315804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315804">(Sep 20 2018 at 15:15)</a>:</h4>
<p>was the previous functionality actually useful, or just a side effect of the implementation?</p>



<a name="134315845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315845">(Sep 20 2018 at 15:16)</a>:</h4>
<p>because always erroring seems like a good idea</p>



<a name="134315856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315856">(Sep 20 2018 at 15:16)</a>:</h4>
<p>one way I thought about conceptualizing it is:<br>
<code>type Foo = [u8; 0 - 1]</code> should always error, because the constant doesn't depend on how <code>Foo</code> is used - <code>Foo</code> just <em>can't</em> be used</p>



<a name="134315884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315884">(Sep 20 2018 at 15:17)</a>:</h4>
<p>but if its an artifact of e.g. macro-generated code</p>



<a name="134315886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315886">(Sep 20 2018 at 15:17)</a>:</h4>
<p>and we should extend this to other things, not just constants, e.g. <code>type Foo = Vec&lt;str&gt;;</code> (working on a PR atm, to crater this hypothesis)</p>



<a name="134315892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315892">(Sep 20 2018 at 15:17)</a>:</h4>
<p>then its expected that, sure, it can't be used...</p>



<a name="134315898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315898">(Sep 20 2018 at 15:17)</a>:</h4>
<p>interesting, good point!</p>



<a name="134315909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315909">(Sep 20 2018 at 15:17)</a>:</h4>
<p>(Don't get me wrong, I'm in principle in favor of an error. But it seems a shame if it injects regressions...)</p>



<a name="134315965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315965">(Sep 20 2018 at 15:18)</a>:</h4>
<p>is it a silly/impossible idea to give more leeway to code generated by macros than user-written code?</p>



<a name="134315968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315968">(Sep 20 2018 at 15:18)</a>:</h4>
<p>have we cratered this PR, at least?</p>



<a name="134315976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315976">(Sep 20 2018 at 15:18)</a>:</h4>
<blockquote>
<p>is it a silly/impossible idea to give more leeway to code generated by macros than user-written code?</p>
</blockquote>
<p>I would rather not.</p>



<a name="134315982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315982">(Sep 20 2018 at 15:18)</a>:</h4>
<p>because there are other places bad practices are permitted because of macros</p>



<a name="134315984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315984">(Sep 20 2018 at 15:18)</a>:</h4>
<blockquote>
<p>is it a silly/impossible idea to give more leeway to code generated by macros than user-written code?</p>
</blockquote>
<p>I feel like the way we do that is to issue warnings</p>



<a name="134315996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315996">(Sep 20 2018 at 15:19)</a>:</h4>
<p>I'm not sufficiently familiar with the architecture to understand: Can we not feed in more context into the MIRI interpreter saying it should warn instead of error?</p>



<a name="134315998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134315998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134315998">(Sep 20 2018 at 15:19)</a>:</h4>
<p>(which macros can silence)</p>



<a name="134316002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316002">(Sep 20 2018 at 15:19)</a>:</h4>
<p>I gotta go though</p>



<a name="134316007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316007">(Sep 20 2018 at 15:19)</a>:</h4>
<p>the PR is not cratered :(</p>



<a name="134316019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316019">(Sep 20 2018 at 15:19)</a>:</h4>
<p>but <span class="user-mention" data-user-id="120791">@RalfJ</span> wants to push it through because he wants to make changes that would otherwise conflict, after it lands...</p>



<a name="134316067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316067">(Sep 20 2018 at 15:20)</a>:</h4>
<p>it would only take a day to <code>check</code> crater run</p>



<a name="134316103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316103">(Sep 20 2018 at 15:20)</a>:</h4>
<p>okay, what scenarios does this change affect?</p>



<a name="134316104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316104">(Sep 20 2018 at 15:20)</a>:</h4>
<p>hi there, what's the question?</p>



<a name="134316119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316119">(Sep 20 2018 at 15:20)</a>:</h4>
<p>I think we may want to resolve this asynchronously at this point, as I have to leave as well</p>



<a name="134316146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316146">(Sep 20 2018 at 15:21)</a>:</h4>
<p>maybe lets change to a dedicated topic for this</p>



<a name="134316151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316151">(Sep 20 2018 at 15:21)</a>:</h4>
<p>yeah</p>



<a name="134316208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316208">(Sep 20 2018 at 15:22)</a>:</h4>
<p>okay then I better make that phone call first</p>



<a name="134316231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202018-09-20/near/134316231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202018-09-20.html#134316231">(Sep 20 2018 at 15:22)</a>:</h4>
<p>(shifted to topic: <a href="#narrow/stream/131828-t-compiler/subject/.2353821.20.20Report.20const.20eval.20error.20inside.20the.20query/near/134316202" title="#narrow/stream/131828-t-compiler/subject/.2353821.20.20Report.20const.20eval.20error.20inside.20the.20query/near/134316202">"#53821 Report const eval error inside the query"</a> )</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>